Objets compacts dans les topos

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Exceptions dans les langages à objets

Exceptions in programming languages result from the limitations introduced by arealisation compared to the model it implements. Usual control structures are not adequate tohandle these special cases and specific exception handling mechanisms have beendesigned which separate the handling of exceptions from the main algorithm.We study the characteristics such a mechanism must ...

متن کامل

Propagation de versions dans les objets complexes

This paper presents a propagation model for complex object versions. Complex objects are object linked to other objects by means of dependence relations such as composition, inheritance, association, etc. This model associates the version propagation capabilities with relations making the propagation of any type of complex object homogeneous. It can thus be distinguished from other version prop...

متن کامل

Les objets intermédiaires dans les activités d'ingénierie collaborative

The design process asks for strong collaborative activities among various disciplines with different know ledges and competences. The organization of collaborative design activities requires, at the early stages of design, a definition of mechanisms which allow exchanging preliminary (evolutional and not valid) information. When information is not validated or not available, they have to make d...

متن کامل

Raffinement de classes dans les langages à objets statiquement typés

RÉSUMÉ. Les classes et la spécialisation apportent simultanément structuration et souplesse aux programmes objets. Ces deux qualités sont, malgré tout, souvent considérées comme insuffisantes, comme en témoignent les nombreuses propositions d’extension du modèle (aspects, modules, etc.). Cet article propose deux notions couplées de raffinement de classes et de modules, la première apportant la ...

متن کامل

Vers un modèle du raisonnement dans les langages à objets

Résumé Ce papier est une proposition de modèle du raisonnement dans les langages hybrides, intégrant un langage de programmation par objets avec des règles de production. Nous proposons de différencier entre deux catégories d'objets, les objet du monde perçu et ceux du monde conçu. Le raisonnement est alors considéré comme un processus qui crée ou modifie le monde conçu à partir d'observations ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics

سال: 1986

ISSN: 0263-6115

DOI: 10.1017/s144678870002718x